@book{elmag,
  AUTHOR =       "Ahmed K. Elmagarmid",
  title =    "Database Transaction Models for Advanced Applications",
  editor=       "",
  PUBLISHER =    "Morgan Kaufmann Publishers",
  YEAR =         1992,
}

@incollection{waech,
  AUTHOR =       "Helmut Wachter and Andreas Reuter",
  TITLE =        "The Contract Model",
  booktitle =    "Database Transaction Models for Advanced Applications",
  editor=        "Ahmed K. Elmagarmid",
  chapter=      7,
  pages =        "219-263",
  PUBLISHER =    "Morgan Kaufmann Publishers",
  YEAR =         1992,
}

@incollection{ rusinkiewicz95specification,
    author = "Marek Rusinkiewicz and Amit P. Sheth",
    title = "Specification and Execution of Transactional Workflows",
    booktitle = "Modern Database Systems: The Object Model, Interoperability, and Beyond.",
    publisher = "-",
    pages = "592-620",
    year = "1995",
    url = "citeseer.ist.psu.edu/rusinkiewicz95specification.html"
    }

@INPROCEEDINGS{wij,
  AUTHOR =       "Wijnand Derks and Juliane Dehnert and Paul Grefen and Willem Jonker",
  TITLE =        "Customized atomicity specification for transactional workflows",
  BOOKTITLE =    "Proceedings of the International Symposium on Cooperative Database Systems and Applications",
  YEAR =         2001,
  pages =        {155-164},
  month =        "April",
  organization = "IEEE",
}

@inproceedings{Grefen02,
  author    = {Paul W. P. J. Grefen},
  title     = {Transactional Workflows or Workflow Transactions?},
  booktitle = {DEXA},
  year      = {2002},
  pages     = {60-69},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2453/24530060.htm},
  crossref  = {DBLP:conf/dexa/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dexa/2002,
  editor    = {Abdelkader Hameurlain and
               Rosine Cicchetti and
               Roland Traunm{\"u}ller},
  title     = {Database and Expert Systems Applications, 13th International
               Conference, DEXA 2002, Aix-en-Provence, France, September
               2-6, 2002, Proceedings},
  booktitle = {DEXA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2453},
  year      = {2002},
  isbn      = {3-540-44126-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@techreport{p.grefen,
  author = "Paul Grefen",
   title = "A Taxonomy for Transactional Workflows",
   institution = "CTIT Technical Report 02-11; University of Twente",
   type = "",
   year = 2002,
}

@INPROCEEDINGS{peltz,
  AUTHOR =       "Chris Peltz",
  TITLE =        "Web services orchestration and choreography, a review of emerging technologies, tools, and standarts",
  BOOKTITLE =    "Hewlett-Packard Company, Co.",
  YEAR =         2003,
  organization = "IEEE, Computer",
}


@techreport{kotov,
  author = "Vadim Kotov",
   title = "Towards Service-centric system organization",
   institution = "Computer Systems and Technology Laboratory, HP Laboratories Palo Alto",
   type = "",
   year = 2001,
}

@techreport{wilrt,
  author = "Wil van der Aalst and A. H. M. ter Hofstede",
   title = "YAWL: Yet Another Workflow Language",
   institution = "FIT, Eindhoven University of Technology and Queesland University of Technology",
   type = "",
   year = 2002,
}

@techreport{lopes,
  author = "Walter Hursch and Cristina Videira Lopes",
   title = "Separation of Concerns",
   institution = "College of Computer Science, Northeaestern University",
   type = "",
   year = 1992,
}

@article{dimi,
   author = "Dimitrios Georgakopoulos and Mark Hornick ",
   title = "An overview of workflow management: from process modeling to workflok automation infrastructure",
   year = 1995,
   journal = {Distributed and Parallel Databases},
   volume = 3,
   number = 2,
   pages = {119--153},
}

@article{ andreas,
    author = "Andreas Reuter and Friedemann Schwenkreis",
    title = "ConTracts - A Low-Level Mechanism for Building General-Purpose Workflow Management-Systems",
    journal = "Data Engineering Bulletin",
    volume = "18",
    number = "1",
    pages = "4-10",
    year = "1995",
    url = "citeseer.ist.psu.edu/reuter95contracts.html"
    }

@incollection{DBLP:books/kl/jajodiaK97/ReuterSS97,
  author    = {Andreas Reuter and
               Kerstin Schneider and
               Friedemann Schwenkreis},
  title     = {ConTracts Revisited.},
  booktitle = {Advanced Transaction Models and Architectures},
  year      = {1997},
  publisher = {-},
  pages     = {0-},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{bpel1-2,
  AUTHOR =       {Sanjiva Weerawarana and Francisco Curbera},
  TITLE =        {Business Process with BPEL4WS: Understanding BPEL4WS, Part 1 and 2},
  JOURNAL =      {IBM, Electronic Journal},
  YEAR =         {2002},
  month =        {August},
  url = "http://www-128.ibm.com/developerworks/webservices/library/ws-bpelcol1/",
}

@ARTICLE{mark1,
  AUTHOR =       {Mark Little and Jim Webber},
  TITLE =        {Introducing WS-Coordination},
  JOURNAL =      {Web Services Journal},
  YEAR =         {2003},
  volume =       {3},
  number =       {5},
  month =        {April},
  url = "http://webservices.sys-con.com/read/issue/157.htm",
}

@ARTICLE{mark2,
  AUTHOR =       {Mark Little and Jim Webber},
  TITLE =        {Introducing WS-Transaction Part I},
  JOURNAL =      {Web Services Journal},
  YEAR =         {2003},
  volume =       {3},
  number =       {6},
  month =        {May},
  url = "http://webservices.sys-con.com/read/issue/181.htm",
}

@ARTICLE{mark3,
  AUTHOR =       {Mark Little and Jim Webber},
  TITLE =        {Introducing WS-Transaction Part II},
  JOURNAL =      {Web Services Journal},
  YEAR =         {2003},
  volume =       {3},
  number =       {7},
  month =        {June},
  url = "http://webservices.sys-con.com/read/issue/180.htm",
}


@ARTICLE{grefen,
  AUTHOR =       "Paul Grefen and Jochem Vonk and Peter Apers",
  TITLE =        "Global tansaction support for workflow management systems: from formal specification to practical implementation",
  JOURNAL =      {Very Large Data Base Journal},
  YEAR =         {2001},
  volume =       {10},
  number =       {4},
  pages =        {316-333},
}

@INPROCEEDINGS{garcia-molina,
  AUTHOR =       "H\'ector Garc\'ia-Molina and Kenneth Salem",
  TITLE =        "Sagas",
  BOOKTITLE =    "9th Int. Conf. on Management of Data, San Francisco, California, USA",
  YEAR =         1987,
  editor =       "ACM",
  volume =       "",
  number =       "",
  series =       "",
  pages =        {249-259},
}

@inproceedings{ zhang94ensuring,
    author = {Aidong Zhang and Marian Nodine and Bharat Bhargava and Omran Bukhres},
    title = {Ensuring relaxed atomicity for flexible transactions in multidatabase systems},
    BOOKTITLE = {SIGMOD International Conference on Management of Data},
     year = {1994},
    pages = {67-78},
}

@inproceedings{94530,
 author = {Ahmed K. Elmagarmid and Y. Leu and W. Litwin and Marek Rusinkiewicz},
 title = {A multidatabase transaction model for InterBase},
 booktitle = {Proceedings of the sixteenth international conference on Very large databases},
 year = {1990},
 isbn = {0-55860-149-X},
 pages = {507--518},
 location = {Brisbane, Australia},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
 }



@ARTICLE{hagen,
  AUTHOR =       "Claus Hagen and Gustavo Alonso",
  TITLE =        "Exception Handling in Workflow Management Systems",
  JOURNAL =      {IEEE Transactions on Software Engineering},
  YEAR =         {2000},
  volume =       {26},
  number =       {10},
  pages =        {943-958},
  month =        {October},
}

@TECHREPORT{alonsotr,
  AUTHOR =       {Gustavo Alonso and D. Agraval and A. El Abbadi and M. Kamath and R. Guntor and C. Mohan},
  TITLE =        {Advanced Tansactions Models in Workflow Contexts},
  INSTITUTION =  {IBM, Research Division},
  YEAR =         {1998},
}

@TECHREPORT{sobi,
  AUTHOR =       "Jeffrey Gortmaker and Marijin Janssen and Rene Wagenaar",
  TITLE =        "SOBI Business architectures and process orchestration",
  INSTITUTION =  "Delf University of Technology",
  YEAR =         2004,
  month =        "january",
}


@article{leymann,
   author = "Frank Leymann and Dieter Roller",
   title = "Workflow-based applications",
   year = 1997,
   journal = {IBM Systems Journal},
   volume = 36,
   number = 1,
}

@inproceedings{gvvenc03,
   author = "Genoveva Vargas-Solar and Luciano Garc\'ia-Banuelos and Jose-Luis Zechinelli-Martini",
   title = "Toward aspect oriented services coordination for building modern information systems",
   booktitle = "Encuentro Internacional de Computacion 2003",
   pages = "",
   year = 2003,
   month="sep",
   organization = "ENC-SMCC",
   publisher = "IEEE",
}

@inproceedings{kicz97,
   author = "Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda and Cristina Videira Lopes and Jean-Marc Loingtier and John Irwin",
   title = "Aspect-Oriented Programming",
   booktitle = "European Conference on Object-Oriented Programming",
   pages = "",
   year = 1997,
   month="jun",
   organization = "ECCOP",
   publisher = "Springer-Verlag",
}

@inproceedings{gvcoop03,
   author = "Khalid Belhajjame and Genoveva Vargas-Solar and Christine Collet",
   title = "Defining and coordinating open-services using workflows",
   booktitle = "Proceedings of the Eleventh International Conference on Cooperative Information Systems",
   pages = "",
   year = 2003,
   month="nov",
   organization = "COOPiS",
   publisher = "Springer Verlag",
}


@inproceedings{khalid,
   author = "Khalid Belhajjame and Genoveva Vargas-Solar and Christine Collet",
   title = "Towards an adaptable workflow management system",
   booktitle = "Proceedings of the 17emes Journees Bases de Donness Avancees",
   pages = "",
   year = 2001,
   month="October",
   organization = "BDA",
   publisher = "",
}

@PhDThesis{phkha,
  author    = {Khalid Belhajjame},
  title     = {{D{\'e}finition et orchestration des services ouverts pour
          la construction des syst{\`e}mes d'information r{\'e}partis}},
  year      = {2004},
  month     = {Juin},
  institution   = {LSR-IMAG},
  school    = {Institut National Polytechnique de Grenoble, LSR-IMAG}
}

@PhDThesis{coupa,
  author    = {Thierry Coupaye},
  title     = {{Un mod\`ele d'ex\'ecution param\'etrique pour syst\`emes
                de bases de donn\'ees actifs (
                A parametric execution model for active database systems)}},
  year      = {1996},
  month     = {November},
  institution   = {LSR-IMAG},
  school    = {Universit\'e Joseph Fourier, LSR-IMAG}
}

@book{munindar,
   author = "Munindar P. Singh and Michael N. Huhns",
   title = "Service-Oriented Computing",
   publisher = "John Wiley and Sons",
   edition = "First",
   year = 2005,
}

@book{galonso,
   author = "Gustavo Alonso and Fabio Casati and Harumi Kuno and Vijay Machiraju",
   title = "Web Services - Concepts, Architectures and Applications",
   publisher = "Springer Verlag",
   edition = "First",
   year = 2004,
}


@book{michel,
   author = "Michel Beaundouin-Lafon",
   title = "Computer Supported Co-operative Work",
   publisher = "John Wiley and Sons",
   edition = "First",
   year = 1999,
}


@book{wil,
   author = "Wil van der Aalst and Kees van Hee",
   title = "Workflow Management, Models, Methods, and Systems",
   publisher = "The MIT Press",
   edition = "First",
   year = 2004,
}

@inproceedings{ eder95workflow,
    author = "Johann Eder and Walter Liebhart",
    title = "The Workflow Activity Model {WAMO}",
    booktitle = "Conference on Cooperative Information Systems",
    pages = "87-98",
    year = "1995",
    url = "citeseer.ist.psu.edu/eder95workflow.html"
}

@article{barros,
   author = "Alistair Barros and Marlon Dumas and Phillipa Oaks",
   title = "A critical overview of the web services choreography description language (WS-CDL)",
   year = 2005,
   journal = {BPTrends},
   month = {March},
}


@book{valdu,
   author = "M. Tamer Ozsu and Patrick Valduriez",
   title = "Principles of distributed database systems",
   publisher = "Prentice Hall",
   edition = "Second",
   year = 1999,
}

@MISC{wfmc,
  author =       {WfMC},
  title =        {Workflow Management Coallition},
  howpublished = {Online http://www.wfmc.org/},
  year =         {2005},
  month =        {April},
}

@MISC{w3c,
  author =       {W3C},
  title =        {World Wide Web Consortium},
  howpublished = {Online http://www.w3.org/},
  year =         {2005},
  month =        {April},
}

@MISC{wsci,
  author =       {Assaf Arkin and Sid Askary and Scott Fordin and Wolfgang Jekeli and Kohsuke Kawaguchi and David Orchard and Stefano Pogliani and Karsten Riemer and Susan Struble and Pal Takacsi-Nagy and Ivana Trickovic and Sinisa Zimek},
  title =        "W3C, Web Service Choreography Interface (WSCI) 1.0",
  howpublished = "Online http://www.w3.org/TR/wsci/",
  year =         {2002},
  month =        {August},
}

@MISC{xlang,
  author =       {Satish Thatte},
  title =        {Microsoft XLANG, Web Services for Business Process Design},
  howpublished = "Online http://www.gotdotnet.com/team/xml\_wsspecs/xlang\-c/default.htm",
  year =         {2001},
  month =        {-},
}

@MISC{wsfl,
  author =       {Frank Leymann},
  title =        {IBM, Web Services Flow Language},
  howpublished = "Online http://www-306.ibm.com/software/solutions/webservices/pdf/WSFL.pdf",
  year =         {2001},
  month =        {May},
}


@MISC{wiki,
  author =       {Wikipedia},
  title =        {The free-content encyclopedia},
  howpublished = "Online http://en.wikipedia.org/",
  year =         {2005},
  month =        {Juin},
}


@MISC{bmpi,
  author =       {BMPI},
  title =        {Busines process management initiative},
  howpublished = {Online http://www.bpmi.org/},
  year =         {2005},
  month =        {April},
}


@book{xopen,
  author =       {The-Open-Group},
  title =        {Distributed Transaction Processing: The XA Specification},
  publisher = {X/Open Company Ltd., U.K.},
  year =         {1991},
}

@article{ davies,
    author = {C. T. Davies Jr},
    title = "Data processing spheres of control",
    journal = "IBM Systems Journal",
    volume = "17",
    number = "2",
    pages = "179-198",
    year = "1978",
}
@INPROCEEDINGS{eder,
  AUTHOR =       "Johann Eder and Walter Liebhart",
  TITLE =        "Workflow recovery",
  BOOKTITLE =    "Proceedings of the International Conference on Cooperative Information Systems",
  YEAR =         1996,
  month =        "June",
  organization = "CoopIS'96",
}

@BOOK{flowms,
  AUTHOR =       "IBM",
  TITLE =        "Business Process Reengineering and Beyond",
  publisher =    "International Business Machines",
  YEAR =         1995,
  series =       "SG24-2590-00",
  month =        "December",
}

@BOOK{adiba,
  AUTHOR =       "Claude Delobel and Michel Adiba",
  TITLE =        "Bases de donn\'ees et syst\`emes relationnels",
  publisher =    "Dunod, Informatique",
  YEAR =         1982,
  isbn =         "2-04-011628-1",
}

@BOOK{hector,
  AUTHOR =       "H\'ector Garc\'ia-Molina and Jeffrey D. Ullman and Jennifer Widom ",
  TITLE =        "Database system implementation",
  publisher =    "Prentice Hall",
  YEAR =         2000,
  isbn =         "0-13-040264-08",
}

@INPROCEEDINGS{flowb,
  AUTHOR =       "B. Kiepuszewski and R. Muhlberger and M. Orlowska",
  TITLE =        "FlowBack: providing backward recovery for workflow management systems",
  BOOKTITLE =    "International Conference on Management of Data archive Proceedings of the 1998 ACM SIGMOD",
  YEAR =         1998,
  pages =        "555-557",
  organization = "SIGMOD",
  publisher =    "ACM",
}

@BOOK{gerhard,
  AUTHOR =       "Gerhard Weikum and Gottfried Vossen",
  editor =       "",
  TITLE =        "Transactional information systems, theory, algorithms, and the practice of concurrency control and recovery",
  PUBLISHER =    "Morgan Kaufmann Publishers",
  YEAR =         1998,
}

@ARTICLE{staab,
  AUTHOR =       "Steffen Staab",
  TITLE =        "Web Services: Being There, done that?",
  JOURNAL =      "IEEE Intelligent Services",
  YEAR =         2003,
  pages =        "72-85",
  month =        "January/February",
}

@ARTICLE{jones,
  AUTHOR =       "Steve Jones, Capgemini",
  TITLE =        "Toward an acceptable definition of service",
  JOURNAL =      "IEEE Software",
  YEAR =         2005,
  pages =        "87-93",
  month =        "May/June",
}

@ARTICLE{malone,
  AUTHOR =       "Thomas W. Malone",
  TITLE =        "What is coordination theory",
  JOURNAL =      "NSF coordination theory workshop",
  YEAR =         1988,
  month =        "Feb",
}

@incollection{ papad,
    author = "George A. Papadopoulos and Farhad Arbab",
    title = "Coordination models and languages",
    booktitle = "761",
    month = "31",
    publisher = "Centrum voor Wiskunde en Informatica (CWI)",
    address = "ISSN 1386-369X",
    pages = "55",
    year = "1998",
    url = "citeseer.ist.psu.edu/article/papadopoulos98coordination.html"
}


@INPROCEEDINGS{luis,
  AUTHOR =       "Luis F. Andrade and Jose L. Fiadeiro and Joao Gouveia and Georgios Koutsoukos and Michel Wermelinger",
  TITLE =        "Coordination for orchestration",
  BOOKTITLE =    "Coordination",
  YEAR =         2002,
  organization = "LNCS Springer Verlag",
}

@INPROCEEDINGS{tolk,
  AUTHOR =       "Robert Tolksdorf",
  TITLE =        "Models of Coordination",
  BOOKTITLE =    "ESAW",
  YEAR =         2000,
  organization = "LNCS Springer Verlag",
}

@INPROCEEDINGS{zhi,
  AUTHOR =       "Zhihong Ren and  Beihong Jin  and Jing Li",
  TITLE =        "A New Web Application Development Methodology: Web Service Composition",
  BOOKTITLE =    "Web Services, E-Business, and the Semantic Web: Second International Workshop, WES 2003, Klagenfurt, Austria",
  YEAR =         2003,
  organization = "LNCS Springer Verlag",
}

@INPROCEEDINGS{jian,
  AUTHOR =       "Jian Sun and Changjun Jiang",
  TITLE =        "Web Service Composition Based on BPWS-Net",
  BOOKTITLE =    "Content Computing: Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China",
  YEAR =         2004,
  organization = "LNCS Springer Verlag",
}
 
@inproceedings{DBLP:conf/middleware/TaiKM04,
  author    = {Stefan Tai and
               Rania Khalaf and
               Thomas A. Mikalsen},
  title     = {Composition of Coordinated Web Services.},
  booktitle = {Middleware},
  year      = {2004},
  pages     = {294-310},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3231{\&}spage=294},
  crossref  = {DBLP:conf/middleware/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/middleware/2004,
  editor    = {Hans-Arno Jacobsen},
  title     = {Middleware 2004, ACM/IFIP/USENIX International Middleware
               Conference, Toronto, Canada, October 18-20, 2004, Proceedings},
  booktitle = {Middleware},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3231},
  year      = {2004},
  isbn      = {3-540-23428-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{rao,
  AUTHOR =       "Jinghai Rao  and Xiaomeng Su",
  TITLE =        "A Survey of Automated Web Service Composition Methods",
  BOOKTITLE =    "Semantic Web Services and Web Process Composition: First International Workshop, SWSWPC 2004, San Diego, CA, USA",
  YEAR =         2004,
  organization = "LNCS Springer Verlag",
}

@INPROCEEDINGS{behz,
  AUTHOR =       "Behzad Bordbar and Athanasious Staikopoulos",
  TITLE =        "On behavioural Model of transformation in Web services",
  BOOKTITLE =    "ER Workshops 2004",
  YEAR =         2004,
  organization = "LNCS 32289, Springer Verlag",
}

@INPROCEEDINGS{wom,
  AUTHOR =       "Wombacher A. and  Fankhauser and P.   Mahleko B. and  Neuhold, E.  ",
  TITLE =        "Matchmaking for business processes based on choreographies",
  BOOKTITLE =    "Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004 IEEE International",
  YEAR =         2004,
  organization = "IEEE, Computer",
}

@techreport{zur,
  AUTHOR =       "Michael zur Muhlen and Jeffrey V. Nickerson and Keith D. Swenson",
  TITLE =        "Developing web services choreography standarts - The case of rest vs. soap",
  INSTITUTION= "Wesley j. Howe School of technology management",
  YEAR =         2000,
}

@inproceedings{ yacoub98pattern,
  author = "S. Yacoub and H. Ammar",
  title = "A Pattern Language of Statecharts",
  booktitle = "Proceedings of Fifth Annual Conference on the Pattern Languages of Programs, PLoP'98, TR WUCS-98-25.",
  month= "august",
  year = "1998",
  url = "http://sherry.ifi.unizh.ch/yacoub98pattern.html"
}

@misc{ douglass-state,
  author = "Bruce Powel Douglass",
  title = "State machines and Statecharts",
  year= 2005,
  howpublished = "Online http: //sherry.ifi.unizh.ch/262346.html"
}

@INPROCEEDINGS{joaco,
  AUTHOR =       "Joachim Parrow",
  TITLE =        "An Introduction to the pi-Calculus",
  BOOKTITLE =    "Handbook of Process Algebra",
  publisher =    "Elsevier, ed. Bergstra, Ponse, Smolka",
  YEAR =         "2001",
  pages = "479-543"
,
}

@inproceedings{ lerner98programming,
    author = "Barbara Staudt Lerner and Leon J. Osterweil and Stanley M. Sutton Jr. and Alexander E. Wise",
    title = "Programming Process Coordination in Little-{JIL}",
    booktitle = "European Workshop on Software Process Technology",
    pages = "127--131",
    year = "1998",
}


@article{108801,
 author = {H\'ector Garc\'ia-Molina and Dieter Gawlick and Johannes Klein and Karl Kleissner and Kenneth Salem},
 title = {Modeling long-running activities as nested  sagas},
 journal = {Data Engineering},
 volume = {14},
 number = {1},
 year = {1991},
 pages = {14--18},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@techreport{ geppert96,
    author = "Andreas Geppert and Dimitrios Tombros",
    title = "Event-based Distributed Workflow Execution with {EVE}",
    institution = "University of Zurich",
    number = "ifi-96.05",
    month = "20",
    year = "1996",
}

@inproceedings{ collet,
    author = "Christine Collet",
    title = "The NODS Project: Networked Open Database Services",
    booktitle = "14th European Conference on Object-Oriented programming (ECOOP-2000)",
    month   = "June",
    year = "2000",
}

@inproceedings{ kamath97correctness,
  author = "M. Kamath and K. Ramamritham",
  title = "Correctness Issues in Workflow Management",
  booktitle = "M. Kamath, K. Ramamritham, Correctness Issues in Workflow Management, Distributed Systems Engineering Journal, Special issue on Workflow Management Systems",
  year = "1997",
}

@article{319985,
 author = {H\'ector Garc\'ia-Molina},
 title = {Using semantic knowledge for transaction processing in a distributed database},
 journal = {ACM Trans. Database Syst.},
 volume = {8},
 number = {2},
 year = {1983},
 issn = {0362-5915},
 pages = {186--213},
 publisher = {ACM Press},
 address = {New York, NY, USA},
}

@article{360369,
 author = {K. P. Eswaran and J. N. Gray and R. A. Lorie and I. L. Traiger},
 title = {The notions of consistency and predicate locks in a database system},
 journal = {Commun. ACM},
 volume = {19},
 number = {11},
 year = {1976},
 issn = {0001-0782},
 pages = {624--633},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{massimo,
 author = {Massimo Paoluccii and Naveen Srinivasan and Katia Sycara and Takuya Nishimura},
 title = { Towards a Semantic Choreography of Web Services: from WSDL to DAML-S},
 journal = ".",
 year = {2003},
 publisher = {IEEE},
 }

@inproceedings{718818,
 author = {Dickson K. W. Chiu and Shing-Chi Cheung and Kamalakar Karlapalem and Qing Li and Sven Till},
 title = {Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment},
 booktitle = {CAiSE '02/ WES '02: Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web},
 year = {2002},
 isbn = {3-540-00198-0},
 pages = {41--56},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{Mohan94,
  author    = {C. Mohan},
  title     = {A Survey and Critique of Advanced Transaction Models.},
  booktitle = {SIGMOD Conference},
  year      = {1994},
  pages     = {521},
}

@inproceedings{1007549,
 author = {Barbara Staudt Lerner},
 title = {Verifying process models built using parameterized state machines},
 booktitle = {ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis},
 year = {2004},
 isbn = {1-58113-820-2},
 pages = {274--284},
 location = {Boston, Massachusetts, USA},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@MISC{benm,
  author =       {Ben Meadowcroft},
  title =        {A Review of Statecharts},
  howpublished = {Online http://www.benmeadowcroft.com/reports/statechart/},
  year =         {2005},
  month =        {April},
}

@inproceedings{ChiuLK01,
  author    = {Dickson K. W. Chiu and
               Qing Li and
               Kamalakar Karlapalem},
  title     = {Facilitating Workflow Evolution in an Advanced Object Environment.},
  booktitle = {DASFAA},
  year      = {2001},
  pages     = {148-149},
}

@inproceedings{728134,
 author = {Marlon Dumas and Justin O'Sullivan and Mitra Hervizadeh and David Edmond and Arthur H. M. ter Hofstede},
 title = {Towards A Semantic Framework for Service Description},
 booktitle = {Proceedings of the IFIP TC2/WG2.6 Ninth Working Conference on Database Semantics},
 year = {2003},
 isbn = {1-4020-7351-8},
 pages = {277--291},
 publisher = {Kluwer, B.V.},
}

@inproceedings{1045668,
 author = {Jingwen Jin and Klara Nahrstedt},
 title = {On exploring performance optimizations in web service composition},
 booktitle = {Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware},
 year = {2004},
 isbn = {3-540-23428-4},
 pages = {115--134},
 location = {Toronto, Canada},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@techreport{varkal,
  author = "G. Vargas-Solar and K. Belhajjame and C. Collet",
   title = "Towards an adaptable workflow management system",
   institution = "Lociciels Systemes Reseaux-IMAG",
   type = "",
   year = 2001,
   number= "RR 1037-I-LSR 14",
   addres= "BP 53-38041 Grenoble Cedex 9 - France",
   month= "May",
}

@TECHREPORT{ws-co,
  AUTHOR =       {Felipe Cabrera and George Copeland and Tom Freund and Johannes Klein and David Langworthy and David Orchard and John Shewchuk and Tony Storey},
  TITLE =        {Web Services Coordination (WS-Coordination)},
  INSTITUTION =  {BEA Systems, International Business Machines Corporation, Microsoft Corporation, Inc},
  YEAR =         {2004},
  type =         {Technical Specification},
  month =        {November},
  source =       {http://msdn.microsoft.com/library/en-us/dnglobspec/html/WS-Coordination.pdf},
}

@TECHREPORT{ws-tra,
  AUTHOR =       {William Cox and Felipe Cabrera and George Copeland and Tom Freund and Johannes Klein and Tony Storey and Satish Thatte},
  TITLE =        {Web Services Transaction (WS-Transaction)},
  INSTITUTION =  {BEA Systems, International Business Machines Corporation, Microsoft Corporation, Inc},
  YEAR =         {2004},
  type =         {Technical Specification},
  month =        {November},
  source =       {http://dev2dev.bea.com/pub/a/2004/01/ws-transaction.html},
}

@TECHREPORT{btp,
  AUTHOR =       {Peter Furniss},
  TITLE =        {Business Transaction Protocol},
  INSTITUTION =  {OASIS},
  YEAR =         {2004},
  type =         {Technical Specification},
  month =        {November},
  source =       {http://xml.coverpages.org/BTPv11-200411.pdf},
}


@TECHREPORT{mark4,
  AUTHOR =       {Mark Little and Thomas Freund},
  TITLE =        {A comparison of Web services transaction protocols},
  INSTITUTION =  {International Business Machines Corporation},
  YEAR =         {2003},
  type =         {Article},
  month =        {October},
  source =       {http://www-128.ibm.com/developerworks/webservices/library/ws-comproto/},
}

@misc{peter,
  author = "Peter Furniss",
  title = "WS-C+T and BTP: Comments and comparisons",
  year= 2002,
  howpublished = "Online http://lists.oasis-open.org/archives/business-transaction/200211/msg00013.html"
}

@misc{tomn,
  author = "Tom Freund and Tony Storey",
  title = "Transactions in the world of Web services, Part 1, 2, An overview of WS-Transaction WS-Coordination",
  INSTITUTION =  {International Business Machines Corporation},
  year= 2002,
  howpublished = "Online http://www-128.ibm.com/developerworks/webservices/library/ws-wstx1/"
}

@misc{james,
  author = "James Snell",
  title = "Automating business processes and transactions in Web services",
  INSTITUTION =  {International Business Machines Corporation},
  year= 2002,
  howpublished = "Online http://www-128.ibm.com/developerworks/webservices/library/ws-autobp/"
}

@ARTICLE{milan,
  AUTHOR =       "Milanovic N. and Malek M.",
  TITLE =        "Current solutions for Web service composition",
  JOURNAL =      "Internet Computing, IEEE, Vol. 8, Iss 6",
  YEAR =         2004,
  pages =        "51-59",
  month =        "Nov-Dec",
}

@article{944233,
 author = {M. P. Papazoglou and D. Georgakopoulos},
 title = {Service Oriented Computing},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {24--28},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{944234,
 author = {Francisco Curbera and Rania Khalaf and Nirmal Mukhi and Stefan Tai and Sanjiva Weerawarana},
 title = {The next step in Web services},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {29--34},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{944237,
 author = {Mark Little},
 title = {Transactions and Web services},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {49--54},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{944238,
 author = {Fabio Casati and Eric Shan and Umeshwar Dayal and Ming-Chien Shan},
 title = {Business-oriented management of Web services},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {55--60},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{944235,
 author = {Jian Yang},
 title = {Web service componentization},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {35--40},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{944236,
 author = {L. G. Meredith and Steve Bjorg},
 title = {Contracts and types},
 journal = {Commun. ACM},
 volume = {46},
 number = {10},
 year = {2003},
 issn = {0001-0782},
 pages = {41--47},
 doi = {http://doi.acm.org/10.1145/944217.944236},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{helga,
 author = {Helga Duarte and Marie-Christine Fauvet and Marlon Dumas and Boualem Benatallah},
 title = {Vers un mod\`ele de composition de services web avec propi\'et\'es transactionelles},
 journal = {Ing\'enierie des syst\`emes d'information},
 volume = {10},
 number = {3},
 year = {2005},
 issn = {1633-1311},
 pages = {9--28},
 publisher = {Lavoisier},
 address = {14 rue de Provigny-F-94236 Cachan cedex},
 }

@article{634760,
 author = {Michael P. Papazoglou},
 title = {Web Services and Business Transactions},
 journal = {World Wide Web},
 volume = {6},
 number = {1},
 year = {2003},
 issn = {1386-145X},
 pages = {49--91},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@article{642465,
 author = {Boualem Benatallah and Quan Z. Sheng and Marlon Dumas},
 title = {The Self-Serv Environment for Web Services Composition},
 journal = {IEEE Internet Computing},
 volume = {7},
 number = {1},
 year = {2003},
 issn = {1089-7801},
 pages = {40--48},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 }

 @inproceedings{ sheng02selfserv,
  author = "Q. Sheng and B. Benatallah and M. Dumas and E. Mak",
  title = "SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment",
  booktitle = "Demo Session of the 28th Intl. Conf. on Very Large Databases",
  month = "September",
  year = "2002",
  url = "citeseer.ist.psu.edu/sheng02selfserv.html"
}

@article{642464,
 author = {Sanjay Dalal and Sazi Temel and Mark Little and Mark Potts and Jim Webber},
 title = {Coordinating Business Transactions on the Web},
 journal = {IEEE Internet Computing},
 volume = {7},
 number = {1},
 year = {2003},
 issn = {1089-7801},
 pages = {30--39},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{1012313,
 author = {Benchaphon Limthanmaphon and Yanchun Zhang},
 title = {Web service composition transaction management},
 booktitle = {CRPIT '04: Proceedings of the fifteenth conference on Australasian database},
 year = {2004},
 pages = {171--179},
 location = {Dunedin, New Zealand},
 publisher = {Australian Computer Society, Inc.},
 address = {Darlinghurst, Australia, Australia},
 }

@inproceedings{tai02,
  author =       {T. Mikalsen and S. Tai and I. Rouvellou },
  title =        {Transactional Attitudes: Reliable Composition of Autonomous Web services},
  booktitle    = {Workshop on Dependable Middleware-Based Systems},
  year =         {2002},
  month =        {june},
  source =       {http://www.research.ibm.com/AEM/txa.html},
}

@misc{ abiteboul99active,
    author = "S. Abiteboul and B. Amann and S. Cluet and E. Eyal and L. Mignet and T. Milo",
    title = "Active Views for Electronic Commerce",
    howpublished = "Online http://www-rocq.inria.fr/verso/ACTIVEVIEWS/paper/av.pdf)",
    year = "1999",
    url = "citeseer.ist.psu.edu/abiteboul99active.html"
}

@TECHREPORT{ws-bpel,
  AUTHOR =       {Assaf Arkin and Sid Askary and Ben Bloch and Francisco Curbera and Yaron Goland and Neelakantan Kartha and Canyang Kevin Liu and Satish Thatte and Prasad Yendluri and Alex Yiu},
  TITLE =        {Web Services Business Process Execution Language, Version 2.0},
  INSTITUTION =  {Organization for the Advancement of Structured Information Standards, OASIS},
  YEAR =         {2004},
  type =         {Report},
  month =        {December},
  source =       {http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm},
}


@TECHREPORT{ws-cdl,
  AUTHOR =       {Nickolas Kavantzas and David Burdett and Gregory Ritzinger and Tony Fletcher and Yves Lafon},
  TITLE =        {Web Services Choreography Description Language, Version 1.0},
  INSTITUTION =  {World Wide Web Consortium, W3C},
  YEAR =         {2004},
  type =         {Report},
  month =        {December},
  source =       {http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/},
}


@TECHREPORT{thp-1,
  AUTHOR =       {W3C},
  TITLE =        {Tentative Hold Protocol Part 1: White Paper},
  INSTITUTION =  {World Wide Web Consortium},
  YEAR =         {2001},
  type =         {Report},
  month =        {November},
  source =       {http://www.w3.org/TR/tenthold-1/},
}

@TECHREPORT{thp-2,
  AUTHOR =       {W3C},
  TITLE =        {Tentative Hold Protocol Part 2: Technical specification},
  INSTITUTION =  {World Wide Web Consortium},
  YEAR =         {2001},
  type =         {Report},
  month =        {November},
  source =       {http://www.w3.org/TR/tenthold-2/},
}


@inproceedings{1055564,
 author = {Serge Abiteboul and Omar Benjelloun and Tova Milo},
 title = {Positive active XML},
 booktitle = {PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
 year = {2004},
 isbn = {158113858X},
 pages = {35--45},
 location = {Paris, France},
 doi = {http://doi.acm.org/10.1145/1055558.1055564},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@inproceedings{ski-open,
  author    = {Fabio Casati},
  title     = {eFlow: an Open, Flexible and Configurable Approach to Service
               Composition.},
  booktitle = {ISDO},
  year      = {2000},
  ee        = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-30/paper5.pdf},
  crossref  = {DBLP:conf/isdo/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isdo/2000,
  editor    = {Heiko Ludwig and
               Yigal Hoffner and
               Christoph Bussler and
               Martin Bichler},
  title     = {Proceedings of the CAISE*00 Workshop on Infrastructure for
               Dynamic Business-to-Business Service Outsourcing, ISDO '00,
               Stockholm, June 5-6, 2000},
  booktitle = {ISDO},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {30},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{ casati00adaptive,
    author = "Fabio Casati and Ski Ilnicki and LiJie Jin and Vasudev Krishnamoorthy and Ming-Chien Shan",
    title = "Adaptive and Dynamic Service Composition in  {eFlow} ",
    booktitle = "Proceedings of CAISE00 workshop on infraestructure for dynamic business-to-bussines service outsourcing",
    pages = "13-31",
    year = "2000",
    url = "citeseer.ist.psu.edu/casati00adaptive.html"
}

@inproceedings{ wetzel,
    author = "I. Wetzel and R. Klischewski",
    title = "Serviceflow beyond workflow",
    booktitle = "CAISE 2002: Advanced Information systems engineering, 14th international systems",
    publisher = "Lectures Notes in Computer Science",
    year = "2002",
    url = "citeseer.ist.psu.edu/casati00adaptive.html"
}


@Article{muth98a,
  author =   {Peter Muth and Dirk Wodtke and Jeanine Weissenfels
                  and Angelika Kotz Dittrich and Gerhard Weikum},
  title =    {From Centralized Workflow Specification to
                  Distributed Workflow Execution},
  journal =  {Journal of Intelligent Information Systems},
  volume =   10,
  number =   2,
  year =     1998,
  issn =     {0925-9902},
  pages =    {159--184},
  doi =      {10.1023/A:1008608810770},
  publisher =    {Kluwer Academic Publishers},
  address =  {Hingham, MA, USA},
  abstract =     {Current workflow management systems fall short of
                  supporting large-scale distributed, enterprise-wide
                  applications. We present a scalable, rigorously
                  founded approach to enterprise-wide workflow
                  management, based on the distributed execution of
                  state and activity charts. By exploiting the formal
                  semantics of state and activity charts, we develop
                  an algorithm for transforming a centralized state
                  and activity chart into a provably equivalent
                  partitioned one, suitable for distributed
                  execution. A synchronization scheme is developed
                  that guarantees an execution equivalent to a
                  non-distributed one. This basic solution is further
                  refined in order to reduce communication overhead
                  and exploit parallelism between partitions whenever
                  possible. The developed synchronization schemes are
                  compared in terms of the number and size of
                  synchronization messages},
  url =      {http://jmvidal.cse.sc.edu/library/muth98a.pdf},
  googleid =     {9PUeRI_BElEJ:scholar.google.com/},
}

@InProceedings{Aalst99,
  author =       "W. M. P. van der Aalst and K. Anyanwu",
  title =        "Inheritance of Interorganizational Workflows to Enable
                 Business-to-Business {E}-commerce.",
  booktitle =    "Proceedings of the Second International Conference on
                 Telecommunications and Electronic Commerce (ICTEC'99)",
  pages =        "141--157",
  publisher =    "Nashville, Tennessee",
  month =        oct,
  year =         "1999",
}

@article{GalM00,
  author    = "Avigdor Gal and John Mylopoulos",
  title     = "Supporting Distributed Autonomous Information Services Using Coordination",
  journal   = "Int. J. Cooperative Inf. Syst.",
  volume    = "9",
  number    = "3",
  year      = "2000",
  pages     = "255-282",
  ee        = "http://www.wspc.com.sg/journals/ijcis/09/0903/S0218843000000144.html",
  bibsource = "DBLP, http://dblp.uni-trier.de",
}

@article{Mylo96,
  author    = {J. Mylopoulos and A. Gal and K. Kontogiannis and M. Stanley},
  title     = {A generic integration architecture for cooperative information systems},
  journal   = {Cooperative Information Systems, 1996. Proceedings., First IFCIS International Conference on},
  volume    = {-},
  number    = {19-21},
  year      = {1996},
  pages     = {208-217},
}

@article{pical,
 author  = {Robin Milner and Joachim Parrow and David Walker},
 title   = {A calculus of mobile processes, part I/II},
 journal = {Journal of Information and Computation},
 number  = {100},
 volume  = {-},
 pages   =  {1--77},
 month   ={Sept.},
 year    = {1992},
}

@article{ lazcano00wise,
    author = "A. Lazcano and Gustavo Alonso and H. Schuldt and C. Schuler",
    title = "The {WISE} approach to electronic commerce",
    journal = "International Journal of Computer Systems Science and Engineering",
    volume = "15",
    number = "5",
    pages = "",
    year = "2000",
    url = "citeseer.ist.psu.edu/lazcano00wise.html"
}

@article{ alonso99wise,
    author = "G. Alonso and U. Fiedler and C. Hagen and A. Lazcano and H. Schuldt and N. Weiler",
    title = "WISE: business to business e-commerce",
    journal = "Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999. RIDE-VE '99. Proceedings., Ninth International Workshop on",
    volume = "-",
    number = "23-24",
    pages = "132-139",
    year = "1999",
}

@inproceedings{671142,
 author = {Bernd Walter},
 title = {Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications},
 booktitle = {Proceedings of the Tenth International Conference on Very Large Data Bases},
 year = {1984},
 isbn = {0-934613-16-8},
 pages = {161--171},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
 }

@BOOK{anne,
  editor =       {Anne Doucet and Ganevi\`eve Jomier},
  TITLE =        {Bases de donn\'ees et internet, Mod\`eles, languages et syst\`eme},
  PUBLISHER =    {Lavoisier},
  YEAR =         {2001},
  series =       {Hermes, Informatique et Syst\`emes d'information},
  edition =      {First},
  isbn =         {2-7462-0283-2},
}

@inproceedings{98729,
 author = {Panayiotis K. Chrysanthis and Krithi Ramamritham},
 title = {ACTA: a framework for specifying and reasoning about transaction structure and behavior},
 booktitle = {SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data},
 year = {1990},
 isbn = {0-89791-365-5},
 pages = {194--203},
 location = {Atlantic City, New Jersey, United States},
 doi = {http://doi.acm.org/10.1145/93597.98729},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

 @inproceedings{Gray81,
  author    = {Jim Gray},
  title     = {The Transaction Concept: Virtues and Limitations (Invited Paper)},
  booktitle = {Very Large Data Bases, 7th International Conference, September
               9-11, 1981, Cannes, France, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1981},
  pages     = {144-154},
  ee        = {db/conf/vldb/Gray81.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/btw/Leymann95,
  author    = {Frank Leymann},
  title     = {Supporting Business Transactions Via Partial Backward Recovery
               In Workflow Management Systems.},
  booktitle = {BTW},
  year      = {1995},
  pages     = {51-70},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{erl,
  AUTHOR =       {Thomas Erl},
  TITLE =        {Service-Oriented Architecture: Concepts, Technology, and Design},
  PUBLISHER =    {Prentice Hall},
  YEAR =         {2005},
  month =        {October},
}

@INPROCEEDINGS{samy,
  AUTHOR =       {Sami Bhiri and Claude Godart and Olivier Perrin},
  TITLE =        {Reliable Web services composition using a transactional approach},
  BOOKTITLE =    {O. e-Technology, e-Commerce and e-Service},
  YEAR =         {2005},
  editor =       {IEEE International},
  volume =       {1},
  series =       {eee},
  pages =        {15-21},
  month =        {March},
}

@PhDThesis{samyt,
  author    = {Sami Bhiri},
  title     = {Approche transactionelle pour assurer des compositions fiables de services web},
  year      = {2005},
  month     = {Octobre},
  institution   = {LORIA},
  school    = {Universit{\'e} Henri Poincar{\'e} - Nancy 1, LORIA}
}

@INPROCEEDINGS{helga2,
  AUTHOR =       {Marie-Christine Fauvet and Helga Duarte and Marlon Dumas and Boualem Benatallah},
  TITLE =        {Handling Transactional Properties },
  BOOKTITLE =    {WISE 2005: 6th International Conference on Web Information Systems Engineering},
  YEAR =         {2005},
  editor =       {LNCS, Springer-Verlag},
  volume =       {3806},
  pages =        {273-289},
  month =        {Octobre},
}

@article{775457,
 author = {B. Medjahed and B. Benatallah and A. Bouguettaya and A. H. H. Ngu and A. K. Elmagarmid},
 title = {Business-to-business interactions: issues and enabling technologies},
 journal = {The VLDB Journal},
 volume = {12},
 number = {1},
 year = {2003},
 issn = {1066-8888},
 pages = {59--85},
 doi = {http://dx.doi.org/10.1007/s00778-003-0087-z},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
 }

@article{adees,
 author = {Genoveva Vargas-Solar and Christine Collet},
 title = {ADEES: An Adaptable and Extensible Event Based Infrastructure},
 editor= {Lecture Notes in Computer Science},
 volume= {2453},
 month=  {Jan},
 year=   {2002},
 journal={Database and Expert Systems Applications : 13th International Conference, DEXA 2002},
 pages= {423},
}

@inproceedings{DBLP:conf/edoc/TaiMRS01,
  author    = {Stefan Tai and
               Thomas A. Mikalsen and
               Isabelle Rouvellou and
               Stanley M. Sutton Jr.},
  title     = {Dependency-Spheres: A Global Transaction Context for Distributed
               Objects and Messages.},
  booktitle = {EDOC},
  year      = {2001},
  pages     = {105--115},
  ee        = {http://computer.org/proceedings/edoc/1345/13450105abs.htm},
  crossref  = {DBLP:conf/edoc/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/edoc/2001,
  title     = {5th International Enterprise Distributed Object Computing
               Conference (EDOC 2001), 4-7 September 2001, Seattle, WA,
               USA, Proceedings},
  booktitle = {EDOC},
  publisher = {IEEE Computer Society},
  organization = {IEEE},
  editor = {},
  year      = {2001},
  isbn      = {0-7695-1345-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{tai04-02,
 author = {Stefan Tai and Thomas Mikalsen and Eric Wohlstadter and Nirmit Desai and Isabelle Rouvellou},
 title = {Transaction policies for service-oriented computing},
 journal = {Data Knowl. Eng.},
 volume = {51},
 number = {1},
 year = {2004},
 issn = {0169-023X},
 pages = {59--79},
 doi = {http://dx.doi.org/10.1016/j.datak.2003.03.001},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@inproceedings{jang03-1,
 author = {Alan Fekete and Paul Greenfield and Dean Kuo and Julian Jang},
 title = {Transactions in loosely coupled distributed systems},
 booktitle = {CRPITS'17: Proceedings of the Fourteenth Australasian database conference on Database technologies 2003},
 year = {2003},
 isbn = {0-909-92595-X},
 pages = {7--12},
 location = {Adelaide, Australia},
 publisher = {Australian Computer Society, Inc.},
 address = {Darlinghurst, Australia, Australia},
}

@inproceedings{JangFGK03,
  author    = {Julian Jang and
               Alan Fekete and
               Paul Greenfield and
               Dean Kuo},
  title     = {Expressiveness of Workflow Description Languages.},
  booktitle = {ICWS},
  year      = {2003},
  pages     = {104-110},
  crossref  = {DBLP:conf/icws/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icws/2003,
  editor    = {Liang-Jie Zhang},
  title     = {Proceedings of the International Conference on Web Services,
               ICWS '03, June 23 - 26, 2003, Las Vegas, Nevada, USA},
  booktitle = {IWCS},
  publisher = {CSREA Press},
  year      = {2003},
  isbn      = {1-892512-49-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{GreenfieldFJK03,
  author    = {Paul Greenfield and
               Alan Fekete and
               Julian Jang and
               Dean Kuo},
  title     = {Compensation is Not Enough.},
  booktitle = {EDOC},
  year      = {2003},
  pages     = {232-239},
  ee        = {http://csdl.computer.org/comp/proceedings/edoc/2003/1994/00/19940232abs.htm},
  crossref  = {DBLP:conf/edoc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/edoc/2003,
  title     = {7th  International Enterprise Distributed Object Computing
               Conference (EDOC 2003), 16-19 September 2003, Brisbane,
               Australia, Proceedings},
  booktitle = {EDOC},
  publisher = {IEEE Computer Society},
  year      = {2003},
  organization = {IEEE},
  editor = {},
  isbn      = {0-7695-1994-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{NepalFGJKS05,
  author    = {Surya Nepal and
               Alan Fekete and
               Paul Greenfield and
               Julian Jang and
               Dean Kuo and
               Tony Shi},
  title     = {A Service-Oriented Workflow Language for Robust Interacting
               Applications},
  booktitle = {OTM Conferences (1)},
  year      = {2005},
  pages     = {40-58},
  ee        = {http://dx.doi.org/10.1007/11575771_6},
  crossref  = {DBLP:conf/otm/2005-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/otm/2005-3,
  editor    = {Robert Meersman and
               Zahir Tari and
               Mohand-Said Hacid and
               John Mylopoulos and
               Barbara Pernici and
               {\"O}zalp Babaoglu and
               Hans-Arno Jacobsen and
               Joseph P. Loyall and
               Michael Kifer and
               Stefano Spaccapietra},
  title     = {On the Move to Meaningful Internet Systems 2005: CoopIS,
               DOA, and ODBASE, OTM Confederated International Conferences
               CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October
               31 - November 4, 2005, Proceedings, Part I},
  booktitle = {OTM Conferences (1)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3760},
  year      = {2005},
  isbn      = {3-540-29736-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{BocchiCR05,
  author    = {Laura Bocchi and
               Paolo Ciancarini and
               Davide Rossi},
  title     = {Transactional Aspects in Semantic Based Discovery of Services},
  booktitle = {COORDINATION},
  year      = {2005},
  pages     = {283-297},
  ee        = {http://dx.doi.org/10.1007/11417019_19},
  crossref  = {DBLP:conf/coordination/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/coordination/2005,
  editor    = {Jean-Marie Jacquet and
               Gian Pietro Picco},
  title     = {Coordination Models and Languages, 7th International Conference,
               COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3454},
  year      = {2005},
  isbn      = {3-540-25630-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Bocchi04,
  author    = {Laura Bocchi},
  title     = {Compositional Nested Long Running Transactions},
  booktitle = {FASE},
  year      = {2004},
  pages     = {194-208},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2984{\&}spage=194},
  crossref  = {DBLP:conf/fase/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fase/2004,
  editor    = {Michel Wermelinger and
               Tiziana Margaria},
  title     = {Fundamental Approaches to Software Engineering, 7th International
               Conference, FASE 2004, Held as Part of the Joint European
               Conferences on Theory and Practice of Software, ETAPS 2004
               Barcelona, Spain, March 29 - april 2, 2004, Proceedings},
  booktitle = {FASE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2984},
  year      = {2004},
  isbn      = {3-540-21305-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{HrastnikW05,
  author    = {Peter Hrastnik and
               Werner Winiwarter},
  title     = {Using Advanced Transaction Meta-Models for Creating Transaction-Aware
               Web Service Environments},
  journal   = {IJWIS},
  volume    = {1},
  number    = {2},
  year      = {2005},
  pages     = {89--99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{HrastnikW06,
  author    = {Peter Hrastnik and
               Werner Winiwarter},
  title     = {TWSO Transactional Web Service Orchestrations},
  journal   = {Journal of Digital Information Management},
  volume    = {4},
  number    = {1},
  year      = {2006},
  pages     = {--},
}

@inproceedings{Herault,
  author    = {Colombe Herault and
               Sergiy Nemchenko and
               Sylvain Lecomte},
  title     = {A Component-Based Transactional Service, Including Advanced
               Transactional Models.},
  booktitle = {ISSADS},
  year      = {2005},
  pages     = {545-556},
  ee        = {http://dx.doi.org/10.1007/11533962_50},
  crossref  = {DBLP:conf/issads/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issads/2005,
  editor    = {F{\'e}lix F. Ramos Corchado and
               Victor Larios-Rosillo and
               Herwig Unger},
  title     = {Advanced Distributed Systems: 5th International School and
               Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28,
               2005, Revised Selected Papers},
  booktitle = {ISSADS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3563},
  year      = {2005},
  isbn      = {3-540-28063-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{leslie,
 author = {Leslie Lamport},
 title = {Time, Clocks and the Ordering of Events in a Distributed System},
 journal = {Communications of the ACM},
 volume = {21},
 number = {7},
 year = {1978},
 month= {July},
 pages = {558--565},
 publisher = {ACM Press},
}
